en

Lambda calculus

ru

Translation lambda calculus into russian

lambda calculus
Lambda calculus is a formal system in mathematical logic.
Лямбда-исчисление - это формальная система в математической логике.